101. Modeling companion for software practitioners /
Author: Egon Börger, Alexander Raschke.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Mathematical models.,Computer software-- Mathematical models.,COMPUTERS-- Software Development & Engineering-- General.
Classification :
QA76
.
754
102. Multi-agent systems and agreement technologies :
Author: Francesco Belardinelli, Estefanía Argente (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Multiagent systems, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer security.,Computers-- Expert Systems.,Computers-- Intelligence (AI) & Semantics.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Expert systems / knowledge-based systems.,Mathematical theory of computation.,Mathematics-- Logic.,Multiagent systems.,Software Engineering.
Classification :
QA76
.
76
.
I58
103. NASA Formal Methods :
Author: Julia M. Badger, Kristin Yvonne Rozier (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses.,Formal methods (Computer science)
Classification :
QA76
.
9
.
F67
N45
2019
104. Networked Digital Technologies :
Author: edited by Filip Zavoral, Jakub Yaghob, Pit Pichappan, Eyas El-Qawasmeh.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer Communication Networks.,Computer science.,Database management.,Information storage and retrieval systems.,Information systems.,Software engineering.,Artificial Intelligence (incl. Robotics).,Computer Communication Networks.,Computer Science.,Information Storage and Retrieval.,Information Systems Applications (incl. Internet).,Software Engineering.,Software Engineering/Programming and Operating Systems.,Artificial intelligence.,Computer science.,Database management.,Information storage and retrieval systems.,Software engineering.
Classification :
QA76
.
76
.
A65
I58
2010
105. Number-theoretic methods in cryptology :
Author: Jerzy Kaczorowski, Josef Pieprzyk, Jacek Pomykała (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cryptography, Congresses.,Monte Carlo method, Congresses.,Algorithms.,Coding theory & cryptology.,Computer science-- Mathematics.,Computer science.,Computers-- Data Processing.,Computers-- Programming-- Algorithms.,Computers-- Security-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Computers.,Data encryption (Computer science),Discrete mathematics.,Information technology: general issues.,Mathematics-- Number Theory.,Number theory.,Number theory.,Numerical analysis.,Software engineering.,Software Engineering.
Classification :
QA76
.
9
.
A25
N88
2017
106. Numerical Mathematics
Author: by Alfio Quarteroni, Riccardo Sacco, Fausto Saleri.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Analysis (Mathematics).,Applied mathematics.,Engineering mathematics.,Mathematical analysis.,Mathematics.,Numerical analysis.
107. OOIS'96 :
Author: edited by Dilip Patel, Yuan Sun, Shushma Patel.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Database management.,Object-oriented databases -- Congresses.
Classification :
QA76
.
9
.
D3
E358
1997
108. OSEK/VDX uyumlu katı gerçek-zamanlı işletim sistemleri için zamanlama mimarilerinin değerlendirilmesi
Author: Saydam, Berkay
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering,Product development
109. OSEK/VDX uyumlu katı gerçek-zamanlı işletim sistemleri için zamanlama mimarilerinin değerlendirilmesi
Author: Saydam, Berkay
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering,Product development
110. On the move to meaningful internet systems: OTM 2011 Workshops :
Author: Robert Meersman, Tharam Dillon, Pilar Herrero (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Business-- Data processing, Congresses,Computer networks, Congresses,Internet, Congresses,Software engineering, Congresses
Classification :
TK5105
.
5
.
O86
2011
111. PRIMA 2018 :
Author: Tim Miller, Nir Oren, Yuko Sakurai, Itsuki Noda, Bastin Tony Roy Savarimuthu, Tran Cao Son (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Multiagent systems, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computers-- Expert Systems.,Computers-- Hardware-- Network Hardware.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Multiagent systems.,Network hardware.,Software Engineering.
Classification :
QA76
.
76
.
I58
112. Papers of the 19th Annual Meeting / Vorträge der 19. Jahrestagung
Author: edited by Wolfgang Bühler, Gustav Feichtinger, Richard F. Hartl, Franz Josef Radermacher, Paul Stähly.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Economics.,Management information systems.
113. Parallel computational fluid dynamics :
Author: edited by D. Keyes ... [et al.].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Dinàmica de fluids -- Processament de dades -- Congressos.,Paral·lelisme (Informàtica) -- Congressos.
114. Parallel computational fluid dynamics :
Author: edited by D. Keyes ... [et al.].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Dinàmica de fluids -- Processament de dades -- Congressos.,Paral·lelisme (Informàtica) -- Congressos.
115. Parallel processing and applied mathematics :
Author: Roman Wyrzykowski, Jack Dongarra, Ewa Deelman, Konrad Karczewski (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematics, Congresses.,Parallel processing (Electronic computers), Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer architecture & logic design.,Computer networking & communications.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics.,Parallel processing (Electronic computers),Software Engineering.
Classification :
QA76
.
58
116. Perspectives of system informatics :
Author: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001. Dines Bjørner ... (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programmierung.,Theoretische Informatik.,Wissenstechnik.
117. Post-quantum cryptography :
Author: edited by Tanja Lange, Rainer Steinwandt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data encryption (Computer science), Congresses.,Quantum computers, Congresses.,Coding theory & cryptology.,Computer architecture & logic design.,Computers-- Information Theory.,Computers-- Logic Design.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Data encryption (Computer science),Quantum computers.,Software Engineering.
Classification :
QA76
.
9
.
A25
118. Practical Bot development :
Author: Szymon Rozga.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Application software-- Development.,Human-computer interaction.,Mobile apps-- Development.,User interfaces (Computer systems),Application software-- Development.,Artificial intelligence.,COMPUTERS-- User Interfaces.,Human-computer interaction.,Microsoft programming.,Network hardware.,Software Engineering.,User interfaces (Computer systems),Web programming.
Classification :
QA76
.
9
.
U83
119. Practical TLA+ :
Author: Hillel Wayne.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers),SDL (Computer program language),Computer programming-- software development.,COMPUTERS-- Programming Languages-- General.,Programming & scripting languages: general.,Programming languages (Electronic computers),SDL (Computer program language),Software Engineering.
Classification :
QA76
.
7
120. Practical cryptography :algorithms and implementations using C++
Author: edited by Saiful Azad, Al-Sakib Khan Pathan
Library: Central Library of Hamedan University of Technology (Hamedan)
Subject: ، Data encryption )Computer science(,، Coding theory,Data processing ، Cryptography,، C++ )Computer program language(,، COMPUTERS / Programming Languages / General,، COMPUTERS / Software Development & Engineering / General,، COMPUTERS / Security / Cryptography
Classification :
QA
76
.
9
.
A25
P725
